1. Adhesives from renewable resources :
پدیدآورنده : Richard W. Hemingway, editor, Anthony H. Conner, editor, Susan J. Branham, associate editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Adhesives, Congresses.,Renewable natural resources, Congresses.
رده :
TP967
.
A5345
1989
2. Hilbert's Program :
پدیدآورنده : by Michael Detlefsen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
3. Proof and knowledge in mathematics
پدیدآورنده : edited by Michael Detelfsen
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
P766
5. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: (طهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
P75
6. Proof, logic, and formalization
پدیدآورنده : / edited by Michael Detlefsen
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع :
رده :
E-BOOK
7. Proof, logic and formalization
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA
,
9
.
54
,.
P77
,
1992
8. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,، Logique symbolique et math?شmatique,، Math?شmatiques - Philosophie,، Preuve, Th?شorie de la,، Aufsatzsammlung
رده :
QA9
.
54
.
P77
1991
